<html>
<body>
<h1>Process Assigments</tt>

<p>Process assignments are used to declare instances of
process templates. The syntax is given by the grammar
for <tt>PAList</tt>.
<pre>

PAList ::= (ID ':=' ID '(' [Values] ')' ';')*
Values ::= (ID | CExpr) (',' (ID | CExpr))*
</pre>

<p>where the <tt>ID</tt>s are declared clocks, integer variables, 
or chanels.

<h2>Examples:</h2>
<ul>
<li><tt>P:=Q();</tt> - process <tt>P</tt> is an instance of template
  <tt>Q</tt> that
  does not have any parameters.
<li><tt>S:=R(x,1);</tt> - process <tt>S</tt> is an instance of
  template <tt>R</tt> that
  has two parameters.
</ul>

<p>For more examples, see the example systems included in the UPPAAL
  distribution.

</body>
</html>
